Genuine paracomplete logics

نویسندگان

چکیده

Abstract In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is paraconsistent if it rejects laws $\varphi ,\neg \varphi \vdash \psi $ and $\vdash \neg (\varphi \land )$. that paper, author analyzes, among three-valued logics, which them satisfy this property. If we consider multiple-conclusion consequence relations, dual properties those above-mentioned are , $\neg (\psi \vee ) $. We call paracomplete logics rejecting mentioned properties. present here an analysis logics. very natural twist structures semantics for these also found in systematic way. This produces automatically simple elegant Hilbert-style characterization all Finally, introduce LGP not paraconsistent, even cannot be characterized by single finite logical matrix.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices

We study the algebraizability of the logics constructed using literal-paraconsistent and literal-paracomplete matrices described by Lewin and Mikenbergin[11] proving that theyare all algebraizable in the sense of Blok We study the algebraizability of the logics constructed using literal-paraconsistent and literal-paracomplete matrices described by Lewin and Mikenberg in [11], proving that they ...

متن کامل

Literal-paraconsistent and literal-paracomplete matrices

We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail ...

متن کامل

Genuine versus Non-Genuine Atomic Multicast Protocols

In this paper, we study atomic multicast, a fundamental abstraction for building fault-tolerant systems. We suppose a system composed of data centers, or groups, that host many processes connected through high-end local links; a few groups exist, interconnected through high-latency communication links. In this context, a recent paper has shown that no multicast protocol can deliver messages add...

متن کامل

Genuine Atomic Multicast

This paper addresses the problem of atomic multicasting messages in asynchronous systems with unreliable failure detection. First, we give a characterisation of the notion of algorithms tolerating unreliable failure detection. Second, we give a characterisation of the notion of genuine atomic multicast. This characterisation leads to a better understanding of the diierence between atomic multic...

متن کامل

EQ-logics with delta connective

In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logic Journal of the IGPL

سال: 2022

ISSN: ['1367-0751', '1368-9894']

DOI: https://doi.org/10.1093/jigpal/jzac060